💻 programming languages - liate · Scour

The Real Deal: My New Mexico Public-Land Elk Hunt

forgottenweapons.com·2h

🧮Theorem Proving

Eunification: a Historical Perspective

250bpm.com·2h

🔄Language Evolution

A New Tool for Exoplanet Detection and Characterization

centauri-dreams.org·1d

✅Formal Verification

Three Chinese Halal Dishes to Smother Over Rice

chinesecookingdemystified.substack.com·1d·

Discuss: Substack

🔧Functional Programming

India: Overhyped or Global Player

zeihan.com·1d

⚡Systems Programming

Where Marty Weitzman Went Wrong

jackdevanney.substack.com·2d·

Discuss: Substack

🧮Theorem Proving

Two-Ocean War Ch1

navalgazing.net·3d

Three interesting studies of genetic variation

denovo.substack.com·3d·

Discuss: Substack

⚡Systems Programming

Reproduction GX-607 and XM-177 Moderators: Do They Work?

forgottenweapons.com·1d

🔨Build Systems

Musk’s Moonshot Merger

bloomberg.com

·3d

🧠Memory Models

Send A Letter In February

davekasten.substack.com·5d·

Discuss: Substack

🔗Content Addressing

Indecomposable Ordinals

infinitelymore.xyz

·5d

🔺Category Theory

Electronic Warfare Innovations and Exports

zeihan.com·1d

🗣️Domain-Specific Languages

A Letter On Justice And Open Debate About Raping Children

popehat.com·5d

🔗Content Addressing